On the foundation of analyzing to the net system, we improve traditional reachability analysis technique, and use time petri nets with inhibitor arcs to model ieee 802.2 llc 3 type protocol 在對該網(wǎng)系統(tǒng)進行分析的基礎之上,發(fā)展了傳統(tǒng)的可達分析技術(shù)。應用帶抑止弧的時間petri網(wǎng)對ieee802.2llc3型協(xié)議進行了建模。